Santa Claus

"Yes, Virginia, there is a Santa Claus".

How to solve the Santa Claus problem

John Trono published a new exercise in concurrent programming—the Santa Claus problem—and provided a solution based on semaphores [12]. His solution is incorrect because it assumes that a process released from waiting on a semaphore will necessarily be scheduled for execution. We give a simple solution in Ada 95 using higher order synchronization primitives: protected objects and rendezvous. We...

Do you believe in Santa Claus?

The occupational health of Santa Claus

Previous publications in the field of Santa studies have not focused on health and safety issues arising from Santa's workplace activities. However, it should be acknowledged that unique occupational hazards exist for Santa Claus. Major occupational health issues affecting Santa are discussed, along with suggestions for future research directions.

Protocol-Safe Workflow Support for Santa Claus

Practical software analysis techniques exploit a form a process description, mostly in some flavour of state diagram. Unlike typing information, these process structures are usually not passed down to the implementation level, and neither are they exploited in any form of consistency check. It is our belief that the information in most designs suffices to perform all sorts of consistency checks...